DEF=verif
EXT=verif
TESTDIR=../tests
KOMPILE_BACKEND=haskell
KOMPILE_FLAGS=--syntax-module VERIF
export KORE_EXEC_OPTS=--log-level error

include ../../include/ktest.mak
